prove (AB)^T